'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREXP LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON MAY 13, 1983, AT 12:03 AM

;Loading DEFSTRUCT 280
'REASONING-GRAPH 
'RG-DIRECTORY-ENTRY 
'BELIEF 
'QUERY 
'EPISTATUS 
'REASONING-TASK 
'REASONING-PROPOSITION-NODE 
'REASONING-CONSIDERATION-LINK 
'CONSIDERATION-FORCE 
'QMP-CONSID 
'STAT-CONSID 
'NEG-CONSID 
'DN-CONSID 
'CINF-CONSID 
'CACT-CONSID 
'CAUS-CONSID 
'REASONING-EXPERT 
	(COMMENT **FASL** 0. (LAP AT-MATCH SUBR)) 
	(COMMENT **FASL** 101. (LAP LT-SIMPLE-ATOMIC-MATCH SUBR)) 
	(COMMENT **FASL** 239. (LAP SBJCOND-BM-PREDICATE1 SUBR)) 
(COMMENT ****  (CONCL MEM-BLF) Unused LAMBDA variables in function SBJCOND-B-METHOD)
	(COMMENT **FASL** 244. (LAP SBJCOND-B-METHOD SUBR)) 
	(COMMENT **FASL** 497. (LAP CONJUNCT-BM-PREDICATE SUBR)) 
(COMMENT ****  (ROLINK) Unused LAMBDA variables in function CONJUNCT-B-METHOD)
(COMMENT ****  (CONJUNCT-NODES) Unused LAMBDA variables in function CONJUNCT-B-METHOD)
(COMMENT ****  (R-GRAPH) Unused LAMBDA variables in function CONJUNCT-B-METHOD)
	(COMMENT **FASL** 502. (LAP CONJUNCT-B-METHOD SUBR)) 
	(COMMENT **FASL** 530. (LAP QUANT-MP-BM-PREDICATE2 SUBR)) 
	(COMMENT **FASL** 533. (LAP |[MRS,LSP]CSREXP.LSP←1.| SUBR)) 
	(COMMENT **FASL** 563. (LAP |[MRS,LSP]CSREXP.LSP←2.| SUBR)) 
	(COMMENT **FASL** 590. (LAP |[MRS,LSP]CSREXP.LSP←3.| SUBR)) 
	(COMMENT **FASL** 593. (LAP |[MRS,LSP]CSREXP.LSP←4.| SUBR)) 
	(COMMENT **FASL** 603. (LAP |[MRS,LSP]CSREXP.LSP←5.| SUBR)) 
	(COMMENT **FASL** 607. (LAP |[MRS,LSP]CSREXP.LSP←6.| SUBR)) 
	(COMMENT **FASL** 610. (LAP |[MRS,LSP]CSREXP.LSP←7.| SUBR)) 
	(COMMENT **FASL** 620. (LAP |[MRS,LSP]CSREXP.LSP←8.| SUBR)) 
	(COMMENT **FASL** 624. (LAP |[MRS,LSP]CSREXP.LSP←9.| SUBR)) 
	(COMMENT **FASL** 627. (LAP QUANT-MP-B-METHOD2 SUBR)) 
	(COMMENT **FASL** 1010. (LAP STATIST-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 1034. (LAP |[MRS,LSP]CSREXP.LSP←10.| SUBR)) 
	(COMMENT **FASL** 1060. (LAP |[MRS,LSP]CSREXP.LSP←11.| SUBR)) 
	(COMMENT **FASL** 1082. (LAP |[MRS,LSP]CSREXP.LSP←12.| SUBR)) 
	(COMMENT **FASL** 1085. (LAP |[MRS,LSP]CSREXP.LSP←13.| SUBR)) 
	(COMMENT **FASL** 1095. (LAP |[MRS,LSP]CSREXP.LSP←14.| SUBR)) 
	(COMMENT **FASL** 1099. (LAP |[MRS,LSP]CSREXP.LSP←15.| SUBR)) 
	(COMMENT **FASL** 1102. (LAP STATIST-B-METHOD SUBR)) 
	(COMMENT **FASL** 1381. (LAP QUANT-MP-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 1405. (LAP |[MRS,LSP]CSREXP.LSP←16.| SUBR)) 
	(COMMENT **FASL** 1431. (LAP |[MRS,LSP]CSREXP.LSP←17.| SUBR)) 
	(COMMENT **FASL** 1453. (LAP |[MRS,LSP]CSREXP.LSP←18.| SUBR)) 
	(COMMENT **FASL** 1456. (LAP |[MRS,LSP]CSREXP.LSP←19.| SUBR)) 
	(COMMENT **FASL** 1466. (LAP |[MRS,LSP]CSREXP.LSP←20.| SUBR)) 
	(COMMENT **FASL** 1470. (LAP |[MRS,LSP]CSREXP.LSP←21.| SUBR)) 
	(COMMENT **FASL** 1473. (LAP QUANT-MP-B-METHOD SUBR)) 
(COMMENT **** (CSR:KNOWLEDGE-LOOKUP SORTALLY-NEG-CERTAIN? SORTALLY-CERTAIN?
ISA-SIMPLE-SORT-PROPO LT-SUBST ≥-BEL-LEVEL CSR:KNOWLEDGE-LOOKUP-ALL
A-Q-PUTPROP CSR:INSTALL-CONSID-LINK CSR:INVESTIGATE-FROM-MEMORY CONTEXT:ADD
ANALYZE-CMPD-CONCEPT NORMALIZE-CMPD-CONCEPT CONTEXT:SPROUT-CONTEXT
ISA-PATT-VARIABLE? SUPERSORT* TERMSORT NORMALIZE-TERMSORTEXPR LT-TYPE)
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  1748. WORDS)